mortal(X) :- human(X).

human(socrates).
